sequent calculus
[网络] 相继式演算
热门查询
- opportune adj. 适当的；恰好的；合时宜的
- gannet n. 塘鹅 n. (Gannet)人名；(法)加内
- Leonid n. 狮子座流星
- baggie 垃圾袋
- initialize vt. 初始化
- hysterics n. 歇斯底里症的发作；发疯
- coloratura n. 花腔；花腔女高音歌手 adj. 花腔的
- housewarming n. 乔迁庆宴
- quieting n. [电子] 静态；镇静；脱氧 v. 使安静；减轻（quiet的ing形式）
- tether n. 范围；系链；拴绳 vt. 用绳或链拴住 n. (Tether)人名；(英)特瑟
- Leyden n. 莱顿(荷兰都市)
- baby-sitter n. 临时替人看小孩者
- desalinization n. [化工][土壤] 脱盐
- woeful adj. 悲哀的；悲惨的；遗憾的；不幸的
- ew abbr. 电子战（Electronic Warfare）
- creepiest 令人毛骨悚然的 恐怖的（ creepy的最高级 ）
- ejaculation n. [生理] 射精；突然说出
- pregnancy n. 怀孕；丰富，多产；意义深长
- amniocentesis n. [妇产] 羊膜穿刺术
- awe n. 敬畏 vt. 使敬畏；使畏怯 n. (Awe)人名；(德)阿韦
考试词汇表
- pregnancy advisory service
- pregnancy related diabetes
- pregnancy with IUD in situ
- pregnancy with IVD in situ
- pregnancy-related diabetes
- pregnant antimony solution
- pregnant pudendal swelling
- pregnant shaoyang syndrome
- pregnant subumbilical pain
- pregnant thorax distension
- pregnant vaginal discharge
- pregnant yangming syndrome
- preheating section of kiln
- preheating wrap for intake
- prehepatic hypoproteinemia
- prehydrolysis sulfate pulp
- preimpregnated glass fibre
- preimpregnating insulation
- preinitiation complex(PIC)
- preliminary audit strategy
